home *** CD-ROM | disk | FTP | other *** search
/ IRIX Installation Tools & Overlays 2002 November / SGI IRIX Installation Tools & Overlays 2002 November - Disc 4.iso / dist / insight_base.idb / usr / share / xml / ent / iso-tech.ent.z / iso-tech.ent
Text File  |  2002-10-15  |  3KB  |  70 lines
  1. <!-- iso-tech.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
  2.  
  3. <!-- Derived from the corresponding ISO 8879 standard entity set
  4.      and the Unicode character mappings provided by Sebastian Rahtz.
  5.      With additional derivations from
  6.      ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
  7.  
  8. <!ENTITY aleph    "ℵ"> <!-- ALEF SYMBOL -->
  9. <!ENTITY and    "∧"> <!--  -->
  10. <!ENTITY ang90    "∟"> <!-- RIGHT ANGLE -->
  11. <!ENTITY angsph    "∢"> <!--  -->
  12. <!ENTITY ap    "≈"> <!--  -->
  13. <!ENTITY becaus    "∵"> <!-- BECAUSE -->
  14. <!ENTITY bottom    "⊥"> <!--  -->
  15. <!ENTITY cap    "∩"> <!--  -->
  16. <!ENTITY cong    "≅"> <!--  -->
  17. <!ENTITY conint    "∮"> <!--  -->
  18. <!ENTITY cup    "∪"> <!--  -->
  19. <!ENTITY equiv    "≡"> <!--  -->
  20. <!ENTITY exist    "∃"> <!--  -->
  21. <!ENTITY forall    "∀"> <!--  -->
  22. <!ENTITY fnof    "ƒ"> <!-- LATIN SMALL LETTER F WITH HOOK -->
  23. <!ENTITY ge    "≥"> <!-- GREATER-THAN OR EQUAL TO -->
  24. <!ENTITY iff    "⇔"> <!-- LEFT RIGHT DOUBLE ARROW -->
  25. <!ENTITY infin    "∞"> <!--  -->
  26. <!ENTITY int    "∫"> <!--  -->
  27. <!ENTITY isin    "∊"> <!--  -->
  28. <!ENTITY lang    "〈"> <!--  -->
  29. <!ENTITY lArr    "⇐"> <!-- LEFTWARDS ARROW -->
  30. <!ENTITY le    "≤"> <!--  -->
  31. <!ENTITY minus    "−"> <!-- MINUS SIGN -->
  32. <!ENTITY mnplus    "∓"> <!--  -->
  33. <!ENTITY nabla    "∇"> <!-- NABLA -->
  34. <!ENTITY ne    "≠"> <!--  -->
  35. <!ENTITY ni    "∍"> <!--  -->
  36. <!ENTITY or    "∨"> <!--  -->
  37. <!ENTITY par    "∥"> <!-- PARALLEL TO -->
  38. <!ENTITY part    "∂"> <!--  -->
  39. <!ENTITY permil    "‰"> <!-- PER MILLE SIGN -->
  40. <!ENTITY perp    "⊥"> <!--  -->
  41. <!ENTITY prime    "′"> <!-- PRIME -->
  42. <!ENTITY Prime    "″"> <!-- DOUBLE PRIME -->
  43. <!ENTITY prop    "∝"> <!--  -->
  44. <!ENTITY radic    "√"> <!--  -->
  45. <!ENTITY rang    "〉"> <!--  -->
  46. <!ENTITY rArr    "⇒"> <!-- RIGHTWARDS ARROW -->
  47. <!ENTITY sim    "∼"> <!--  -->
  48. <!ENTITY sime    "≃"> <!--  -->
  49. <!ENTITY square    "□"> <!-- WHITE SQUARE -->
  50. <!ENTITY sub    "⊂"> <!--  -->
  51. <!ENTITY sube    "⊆"> <!--  -->
  52. <!ENTITY sup    "⊃"> <!--  -->
  53. <!ENTITY supe    "⊇"> <!--  -->
  54. <!ENTITY there4    "∴"> <!--  -->
  55. <!ENTITY Verbar    "‖"> <!-- DOUBLE VERTICAL LINE -->
  56. <!ENTITY angst    "Å"> <!-- ANGSTROM SIGN -->
  57. <!ENTITY bernou    "ℬ"> <!-- SCRIPT CAPITAL B -->
  58. <!ENTITY compfn    "∘"> <!-- RING OPERATOR -->
  59. <!ENTITY Dot    "¨"> <!--  -->
  60. <!ENTITY DotDot    "⃜"> <!-- COMBINING FOUR DOTS ABOVE -->
  61. <!ENTITY hamilt    "ℋ"> <!-- SCRIPT CAPITAL H -->
  62. <!ENTITY lagran    "ℒ"> <!-- SCRIPT CAPITAL L -->
  63. <!ENTITY lowast    "∗"> <!-- ASTERISK OPERATOR -->
  64. <!ENTITY notin    "∉"> <!--  -->
  65. <!ENTITY order    "ℴ"> <!-- SCRIPT SMALL O -->
  66. <!ENTITY phmmat    "ℳ"> <!-- SCRIPT CAPITAL M -->
  67. <!ENTITY tdot    "⃛"> <!-- COMBINING THREE DOTS ABOVE -->
  68. <!ENTITY tprime    "‴"> <!-- TRIPLE PRIME -->
  69. <!ENTITY wedgeq    "≙"> <!-- ESTIMATES -->
  70.